NON-MEASURABLE SETS AND THE EQUATION fix+y)=fix)+fiy)
نویسنده
چکیده
1. A set of S real numbers which has inner measure m*(S) different from its outer measure m*iS) is non-measurable. An extreme form, which we shall call saturated non-measurability, occurs when ra*(S)=0 but m*iSM)=miM) for every measurable set M, miM) denoting the measure of M. This is equivalent to: both S and its complement have zero inner measure. More generally, if a fixed set B of positive measure is under consideration, a subset S of B will be called s-non-mble. if both 5 and its complement relative to B have zero inner measure. This implies m*(S)=0, m*iS)=miB) but is implied by these conditions only if w(P) is finite. Our object, in part, is to show that if B is either the set of all real numbers or any half-open finite interval, then for every infinite cardinal k^C (the power of the continuum), B can be partitioned into k disjoint subsets which are s-non-mble. and are mutually congruent under translation (modulo the length of B in the case that B is a finite interval). Sierpinski and Lusin1 have partitioned B into continuum many disjoint 5-non-mble. subsets but they are not constructed to be congruent under translation. Other well known constructions do partition B into a countable infinity of mutually congruent non-measurable subsets, but the subsets are not constructed to be saturated non-measurable.2
منابع مشابه
Sharply $(n-2)$-transitive Sets of Permutations
Let $S_n$ be the symmetric group on the set $[n]={1, 2, ldots, n}$. For $gin S_n$ let $fix(g)$ denote the number of fixed points of $g$. A subset $S$ of $S_n$ is called $t$-emph{transitive} if for any two $t$-tuples $(x_1,x_2,ldots,x_t)$ and $(y_1,y_2,ldots ,y_t)$ of distinct elements of $[n]$, there exists $gin S$ such that $x_{i}^g=y_{i}$ for any $1leq ileq t$ and additionally $S$ is called e...
متن کاملCompleteness results for metrized rings and lattices
The Boolean ring $B$ of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (for example, ${0})$ that are closed under the natural metric, but has no prime ideal closed under that metric; hence closed radical ideals are not, in general, intersections of closed prime ideals. Moreover, $B$ is known to be complete in its metric. Togethe...
متن کاملDistance-Avoiding Sets in the Plane
Fix a real number d > 0. Let D = {1, d} if d 6= 1; otherwise D = {1} may simply be written as 1. A subset S ⊆ R is said to avoid D if kx− yk / ∈ D for all x, y ∈ S. For example, the union of open balls of radius 1/2 with centers in (2Z) avoids the distance 1. If instead the balls have centers in (3Z), then their union avoids {1, 2}. It is natural to ask about the “largest possible” S that avoid...
متن کاملUniversally measurable subgroups of countable index
We prove that any countable index, universally measurable subgroup of a Polish group is open. By consequence, any universally measurable homomorphism from a Polish group into the infinite symmetric group S∞ is continuous. We also show that a universally measure homomorphism from a Polish group into a second countable, locally compact group is necessarily continuous. The present work is motivate...
متن کاملStrong Convergence Theorems of the CQ Method for Nonexpansive Semigroups
Throughout this paper, letH be a real Hilbert space with inner product 〈·,·〉 and ‖ · ‖. We use xn⇀ x to indicate that the sequence {xn} converges weakly to x. Similarly, xn → x will symbolize strong convergence. we denote by N and R+ the sets of nonnegative integers and nonnegative real numbers, respectively. let C be a closed convex subset of a Hilbert space H , and Let T : C → C be a nonexpan...
متن کامل